1. Computable set theory
پدیدآورنده : Cantone, Domenico
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26C6
2. Set theory for computing : from decision procedures to declarative programming with sets
پدیدآورنده : Cantone, Domenico
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26S4